Showing 1 - 3 of 3 Results
1.
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlan... by Gibbons, Jeremy, Nuno Olive... ISBN: 9783642049118 List Price: $72.00
2.
Mathematics of Program Construction 5th International Conference, Mpc 200, Ponte De Lima, Po... by Backhouse, Roland C., Olive... ISBN: 9783540677277 List Price: $69.95
3.
Mathematics of Program Construction by Backhouse, Roland, Nuno Oli... ISBN: 9783662204900 List Price: $24.99